<html>
<head><meta charset="utf-8"><title>I-prioritize #74086 [ICE] Static items with an fn type which · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374086.20.5BICE.5D.20Static.20items.20with.20an.20fn.20type.20which.html">I-prioritize #74086 [ICE] Static items with an fn type which</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="203027007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374086%20%5BICE%5D%20Static%20items%20with%20an%20fn%20type%20which/near/203027007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374086.20.5BICE.5D.20Static.20items.20with.20an.20fn.20type.20which.html#203027007">(Jul 06 2020 at 18:53)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/74086">#74086</a> has been requested for prioritization.</p>
<h1><a href="https://hackmd.io/WJ0G17DHTHGgv0OW9I2PxA?view#Unprioritized-I-prioritize">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="203027489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374086%20%5BICE%5D%20Static%20items%20with%20an%20fn%20type%20which/near/203027489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374086.20.5BICE.5D.20Static.20items.20with.20an.20fn.20type.20which.html#203027489">(Jul 06 2020 at 18:57)</a>:</h4>
<p><code>P-medium</code> I guess? The error is fairly rare and the ICE contains the correct span, but we aren't emitting an error message here</p>



<a name="203027592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374086%20%5BICE%5D%20Static%20items%20with%20an%20fn%20type%20which/near/203027592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374086.20.5BICE.5D.20Static.20items.20with.20an.20fn.20type.20which.html#203027592">(Jul 06 2020 at 18:58)</a>:</h4>
<p>Or maybe <code>P-high</code>, the regression isn't that old</p>



<a name="203027899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374086%20%5BICE%5D%20Static%20items%20with%20an%20fn%20type%20which/near/203027899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374086.20.5BICE.5D.20Static.20items.20with.20an.20fn.20type.20which.html#203027899">(Jul 06 2020 at 19:01)</a>:</h4>
<p>I should have started by looking at version 1.43 first instead of first trying version 1.0 <span aria-label="laughing" class="emoji emoji-1f606" role="img" title="laughing">:laughing:</span></p>



<a name="203132255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374086%20%5BICE%5D%20Static%20items%20with%20an%20fn%20type%20which/near/203132255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374086.20.5BICE.5D.20Static.20items.20with.20an.20fn.20type.20which.html#203132255">(Jul 07 2020 at 17:16)</a>:</h4>
<p>This shouldn't be accepted, right? The compiler can't and shouldn't try to infer the type here</p>



<a name="203132280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374086%20%5BICE%5D%20Static%20items%20with%20an%20fn%20type%20which/near/203132280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374086.20.5BICE.5D.20Static.20items.20with.20an.20fn.20type.20which.html#203132280">(Jul 07 2020 at 17:16)</a>:</h4>
<p>I'd go for <code>P-medium</code> too</p>



<a name="203134331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374086%20%5BICE%5D%20Static%20items%20with%20an%20fn%20type%20which/near/203134331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374086.20.5BICE.5D.20Static.20items.20with.20an.20fn.20type.20which.html#203134331">(Jul 07 2020 at 17:33)</a>:</h4>
<p>I think so <span aria-label="laughing" class="emoji emoji-1f606" role="img" title="laughing">:laughing:</span> I remember there being an RFC for eliding array lengths in <code>const</code>s a while back... not sure what the result of that was</p>



<a name="203212405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374086%20%5BICE%5D%20Static%20items%20with%20an%20fn%20type%20which/near/203212405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374086.20.5BICE.5D.20Static.20items.20with.20an.20fn.20type.20which.html#203212405">(Jul 07 2020 at 22:44)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/74086">#74086</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>